(h) Write a short textual comment labelled MODULARITY: explaining to what
extent you are able to reuse parts of the code and verification effort/results
between your two different versions.